Signed area

 ( Planes ) 

In mathematics, the signed area or oriented area of a region of an affine plane is its area with Orientability specified by the positive or negative sign, that is "plus" () or "minus" (). More generally, the signed area of an arbitrary surface region is its surface area with specified orientation. When the boundary of the region is a simple curve, the signed area also indicates the orientation of the boundary.

---

Planar area

---

Polygons The mathematics of ancient Mesopotamia, Egypt, and Greece had no explicit concept of or signed areas, but had notions of contained by some boundary lines or curves, whose areas could be computed or compared by pasting shapes together or cutting portions away, amounting to addition or subtraction of areas. This was formalized in Book I of Euclid's Elements, which leads with several common notions including "if equals are added to equals, then the wholes are equal" and "if equals are subtracted from equals, then the remainders are equal" (among planar shapes, those of the same area were called "equal"). The propositions in Book I concern the properties of and , including for example that parallelograms with the same base and in the same parallels are equal and that any triangle with the same base and in the same parallels has half the area of these parallelograms, and a construction for a parallelogram of the same area as any "rectilinear figure" (simple polygon) by splitting it into triangles. Greek geometers often compared planar areas by quadrature (constructing a square of the same area as the shape), and Book II of the Elements shows how to construct a square of the same area as any given polygon.

Just as negative numbers simplify the equation solving by eliminating the need to flip signs in separately considered cases when a quantity might be negative, a concept of signed area analogously simplifies geometric computations and proofs. Instead of subtracting one area from another, two signed areas of opposite orientation can be added together, and the resulting area can be meaningfully interpreted regardless of its sign. For example, propositions II.12–13 of the Elements contain a geometric precursor of the law of cosines which is split into separate cases depending on whether the angle of a triangle under consideration is obtuse angle or acute angle, because a particular rectangle should either be added or subtracted, respectively (the cosine of the angle is either negative or positive). If the rectangle is allowed to have signed area, both cases can be collapsed into one, with a single proof (additionally covering the right angle case where the rectangle vanishes).

As with the unoriented area of simple polygons in the Elements, the oriented area of in the affine plane (including those with holes or self-intersections) can be conveniently reduced to sums of oriented areas of triangles, each of which in turn is half of the oriented area of a parallelogram. The oriented area of any polygon can be written as a signed real number coefficient (the signed area of the shape) times the oriented area of a designated polygon declared to have unit area; in the case of the Euclidean plane, this is typically a unit square.

Among the computationally simplest ways to break an arbitrary polygon (described by an ordered list of vertices) into triangles is to pick an arbitrary origin point, and then form the oriented triangle between the origin and each pair of adjacent vertices in the triangle. When the plane is given a Cartesian coordinate system, this method is the 18th century shoelace formula.

---

Curved shapes The ancient Greeks had no general method for computing areas of shapes with curved boundaries, and the quadrature of the circle using only finitely many steps was an unsolved problem (proved impossible in the 19th century). However, Archimedes exactly computed the quadrature of the parabola via the method of exhaustion, summing infinitely many triangular areas in a precursor of modern integral calculus, and he approximated the quadrature of the circle by taking the first few steps of a similar process.

---

Integrals The integral of a real function can be imagined as the signed area between the $x$-axis and the curve $y\; =\; f(x)$ over an interval . The area above the $x$-axis may be specified as positive (), and the area below the $x$-axis may be specified as negative ().

The negative area arises in the study of natural logarithm as signed area below the curve $y\; =\; 1/x$ for , that is:

In differential geometry, the sign of the area of a region of a surface is associated with the orientability of the surface. The area of a set in differential geometry is obtained as an integration of a density: $$\backslash mu(A)\; =\; \backslash int\_A\; dx\; \backslash wedge\; dy,$$ where and are differential 1-forms that make the density. Since the wedge product has the anticommutative property, . The density is associated with a planar orientation, something existing locally in a manifold but not necessarily globally. In the case of the natural logarithm, obtained by integrating the area under the hyperbola , the density is positive for , but since the integral $$\backslash int\_1^x\; \backslash frac\{dt\}\{t\}$$ is anchored to , the orientation of the -axis is reversed in the unit interval. For this integration, the () orientation yields the opposite density to the one used for . With this opposite density the area, under the hyperbola and above the unit interval, is taken as a negative area, and the natural logarithm consequently is negative in this domain.

---

Determinants Signed areas were associated with by Felix Klein in 1908. Felix Klein, translators E.R. Hendrick & C.A. Noble (1939)1908 Elementary Mathematics from an Advanced Standpoint – Geometry, third edition, pages 3, 10, 173,4 When a triangle is specified by three points, its area is: For instance, when $(x\_3,\backslash \; y\_3)\; =\; (0,0)\; ,$ then the area is given by

To consider a sector area bounded by a curve, it is approximated by thin triangles with one side equipollent to which have an area Then the " area of the sector between the curve and two radius vectors" is given by $$\backslash frac\{1\}\{2\}\; \backslash int\_1\; ^2\; (x\backslash \; dy\; -\; y\backslash \; dx).$$ For example, the reverse orientation of the unit hyperbola is given by $x\; =\; \backslash cosh\; t,\; ~\; y\; =\; -\backslash sinh\; t\; .$ Then $$x\; \backslash \; dy\; -\; y\; \backslash \; dx\; =\; -\; \backslash cosh^2\; t\; \backslash \; dt\; +\; \backslash sinh^2\; t\; \backslash \; dt\; =\; -\; dt\; ,$$ so the area of the hyperbolic sector between and is $$\backslash frac\{-1\}\{2\}\; \backslash int\_0^\backslash theta\; dt\; =\; \backslash left.\; \backslash frac\{-t\}\{2\}\; \backslash right|\_0^\backslash theta\; =\; -\backslash frac\{\backslash theta\}\{2\},$$ giving a negative hyperbolic angle as a negative sector area.

---

Postnikov equivalence Mikhail Postnikov's 1979 textbook Lectures in Geometry appeals to certain geometric transformations – described as functions of coordinate pairs $(x,\; y)$ – to express "freely floating area elements". A shear mapping is either of: for any real number , while a squeeze mapping is $$(x,y)\; \backslash to\; (\backslash lambda\; x,\backslash \; y/\backslash lambda)$$ for any positive real number . An area element is related () to another if one of the transformations results in the second when applied to the first. As an equivalence relation, the area elements are segmented into equivalence classes of related elements, which are Postnikov bivectors.

Proposition: If $(a\_1,\; b\_1)\; =\; (ka\; +\; \backslash ell\; b,\; \backslash \; k\_1\; a\; +\; \backslash \; \backslash ell\_1\; b)$ and

$\backslash delta\; =\; k\; \backslash ell\_1\; -\; \backslash ell\; k\_1\; \backslash ne\; 0\; ,$ then $(a,\; b)\; \backslash thicksim\; (a\_1,\; \backslash \; (\backslash frac\{1\}\{\backslash delta\})\; b\_1)\; .$

proof: $(a,\backslash \; b)\; \backslash thicksim\; (a\; +\; \backslash frac\{\backslash ell\}\{k\}\; b,\; \backslash \; b)$ shear mapping

$\backslash thicksim\; (ka\; +\; \backslash ell\; b,\; \backslash \; \backslash tfrac\{1\}\{k\}\; b)$ squeeze mapping

$\backslash thicksim\; (ka\; +\; \backslash ell\; b,\; \backslash \; \backslash tfrac\{1\}\{k\}\; b\; +\; \backslash frac\{k\_1\}\{k\; \backslash delta\}\; (ka\; +\; \backslash ell\; b)\; )$ shear mapping

$=\; (ka\; +\; \backslash ell\; b,\; \backslash \; \backslash frac\{k\_1\}\{k\; \backslash delta\}\; (ka\; +\; (\backslash frac\{\backslash delta\}\{k\_1\}\; +\; \backslash ell)\; b)$

$=\; (ka\; +\; \backslash ell\; b,\; \backslash \; \backslash frac\{1\}\{\backslash delta\}\; (k\_1a\; +\; \backslash ell\_1\; b)\; )\; \backslash \; \backslash \; \backslash text\{since\}\backslash \; \backslash \; \backslash ell\; +\; \backslash frac\{\backslash delta\}\{k\_1\}\; =\; \backslash frac\{k\}\{k\_1\}\; \backslash ell\_1$

$=\; (a\_1,\; \backslash \; \backslash frac\{1\}\{\backslash delta\}\; b\_1)\; .$

---

See also

• Vector area
• Volume form
• Signed distance
• Signed measure
• Signed volume

---

External links

Post Comment